Buy Used and New Corina S . Pasareanu Books

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II: 9207 (Lecture Notes in Computer Science)

by Daniel Kroening, Corina S. Pasareanu

ISBN 13: 9783319216676

Format: Paperback (488 pages)
Publisher: Springer
Published: 14 Aug 2015

Save for later